ePMC

Benchmark
Model:tireworld v.1 (MDP)
Parameter(s)n = 45
Property:goal (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files tireworld.45.jani --model-input-type jani --property-input-names goal --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:1.7758963108062744s
Return code:0
Note(s):The tool result '0' is tagged as incorrect. The reference result is 'OrderedDict([('lower', 0.9359999999999999), ('upper', 0.9360000000000105)])' (approx. OrderedDict([('lower', 0.9359999999999999), ('upper', 0.9360000000000105)])) which means a relative error of '1.0' which is larger than the goal precision '0.001'.
Relative Error:1.0
Log
assertions-disabled
model-checking
analysing-property goal
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-done 1 0
iterating
iterating-done 1 0
num-states-in-filter 1 "initial"
model-checking-done 0
command-check-result-is 0.0 goal